2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)
Jürgen Giesl
,
Reiner Hähnle
6.32 Mb
#2
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Jürgen Giesl
Категория:
Компьютеры
5.29 Mb
#3
Term Rewriting and Applications, 16 conf., RTA 2005
Jürgen Giesl
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.35 Mb